Back Àlgebra de Heyting Catalan Heytingova algebra Czech Heyting algebra English Álgebra de Heyting Spanish Algèbre de Heyting French Aljabar Heyting ID Algebra di Heyting Italian ハイティング代数 Japanese 헤이팅 대수 Korean Algebra Heytinga Polish
In der Mathematik sind Heyting-Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting-Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting-Algebren entstehen als Modelle intuitionistischer Logik, einer Logik, in der der Satz vom ausgeschlossenen Dritten im Allgemeinen nicht gilt. Vollständige Heyting-Algebren sind ein zentraler Gegenstand der punktfreien Topologie.
Die Heyting-Algebra ist nach Arend Heyting benannt.